Formale Methodik des Entwurfs verteilter objektorientierter Systeme
نویسنده
چکیده
Dieser Artikel fa t die wesentlichen Ergebnisse sowie einige H ohepunkte der Dissertation zusammen Es wird eine methodische Grundlage f ur die Spezi kation von Struktur und Verhalten verteilter objektorientierter Systeme skiz ziert Es werden Beschreibungstechniken f ur Klassen und Zustandsdiagramme de niert und ein Verfeinerungskalk ul f ur diese angegeben Insbesondere wird in diesem Artikel der Verfeinerungskalk ul f ur Zustandsdiagramme vorgestellt und an einem ausf uhrlichen Beispiel motiviert Die sich ergebenden Folgerungen f ur den objektorientierten Softwareentwicklungsproze werden diskutiert
منابع مشابه
Spezifikationsmethodik für mobile, dynamische FOCUS-Netze
Dieses Papier stellt eine methodische Vorgehensweise f ur die Modellierung dynami scher und mobiler verteilter Systeme in Focus vor Focus ist eine formale Methodik zur Entwicklung und Spezi kation verteilter reaktiver Systeme Wir geben Leitf aden und Spezi kationsschemata f ur dynamische mobile Systeme an gefolgt von der Be schreibung einiger Fallstudien Ziel ist es auch Anwendern die mit den f...
متن کاملFormale Entwicklung verteilter reaktiver Systeme mit FOCUS
Formale Methoden und Techniken liefern aufgrund ihrer mathematisch logischen Fundierung die Voraussetzung zur Entwicklung komplexer Systeme an die hohe Sicherheits und Qualit ats anforderungen gestellt werden Nur eine formal abgesicherte Basis macht es m oglich pr azise Spezi kationen zu erstellen den formalen Nachweis der G ultigkeit von Systemeigenschaften zu erbringen sowie eine Systementwic...
متن کاملFG 2.1.9: Bericht vom 8. Workshop des GI-Arbeitskreises GROOM am 13. und 14. November 2000 in Münster
Die praktische Bedeutung von nebenläufigen und verteilten Software-Systemen hat in den letzten Jahren stetig zugenommen. Hintergrund dessen ist u.a. der Wunsch nach unternehmensweit (und auch darüber hinaus) verbundener Infrastruktur, die Verfügbarkeit leistungsfähiger und bezahlbarer Netzwerkund Rechnertechnik sowie die allgemeine Durchdringung von immer mehr Lebensbereichen durch Kommunikatio...
متن کاملMethodik zur durchgängigen Entwicklung verteilter Systeme mit Echtzeitbedingungen für Rundrufnetze
Inhaltsverzeichnis 1 Einleitung 1
متن کامل